离散数学 课程安排:
Week 1-2: 命题逻辑和谓词逻辑
命题逻辑基础
谓词逻辑介绍
推理规则和证明方法
Week 3-4: 集合论和图论基础
集合论的基本概念
图论的基本概念
图的遍历和基本算法
Week 5-6: 数学归纳法和递归
数学归纳法和强归纳法
递归和递归算法
递归关系和递推关系
Week 7-8: 计数原理
基本计数原理
排列组合
二项式定理
Week 9-10: 关系和图的高级主题
关系的性质和操作
图的高级算法
拓扑排序和最短路径算法
Week 11-12: 自动机和形式语言
有限自动机
正则语言和正则表达式
文法和上下文无关语言
Week 13-14: 概率和离散概率分布
概率的基本概念
离散概率分布
概率在计算机科学中的应用
Week 15-16: 复习和总结
复习重要概念
解答疑问
准备期末考试
考试安排:
期中考试 (Week 8):
范围涵盖命题逻辑、图论和计数原理
包括理论题和解答题
期末考试 (Week 16):
综合性考试,覆盖整个课程内容
包括证明、算法设计、理论题、解答题
平时成绩:
课堂讨论、小测验等形式